-
1 теория булевых алгебр
1) Mathematics: theory of Boolean algebras2) Makarov: Boolean calculusУниверсальный русско-английский словарь > теория булевых алгебр
-
2 теория булевых алгебр
Русско-английский политехнический словарь > теория булевых алгебр
-
3 теория
1) theoretics
2) theory
– выдвигать теория
– дедуктивная теория
– квантовая теория
– классическая теория
– лучевая теория
– отклонять теория
– содержательная теория
– строгая теория
– теория автомодельности
– теория Бардина-Купера-Шриффера
– теория вероятностей
– теория возмущений
– теория вычетов
– теория Гершо-Розенцвейга
– теория графов
– теория групп
– теория двойственности
– теория дислокаций
– теория доказательства
– теория зонная
– теория игр
– теория идеалов
– теория информации
– теория калибровочная
– теория крыла
– теория меры
– теория метеорная
– теория множеств
– теория надежности
– теория норм
– теория относительности
– теория очередей
– теория ошибок
– теория переноса
– теория подобия
– теория поля
– теория предметная
– теория просачивания
– теория размерностей
– теория расписаний
– теория регулирования
– теория соответствий
– теория столкновений
– теория схем
– теория упругости
– теория устойчивости
– теория цветности
– теория цепей
– формальная теория
волновая теория света — wave theory of light
зонная теория твердых тел — band theory of solids
каскадная теория ливней — shower theory
квантовая теория света — quantum theory of light
корпускулярная теория света — corpuscular theory of light
мезонная теория поля — meson field theory
теория больших сигналов — large signal theory
теория булевых алгебр — Boolean calculus
теория второго приближения — second-order theory
теория выборочного метода — theory of sampling
теория вычислительных систем — <comput.> computer science
теория длинных волн — shallow water theory
теория идеалов аддитивная — <math.> additive ideal theory
теория кислот и оснований — acid-base theory
теория малых сигналов — small signal theory
теория массового обслуживания — queueing theory, queuing theory
теория мезонная юкавская — <phys.> Yukawa meson theory
теория напряжений Баэра — Baeyer strain theory
теория относительности общая — <phys.> general theory of relativity
теория поля единая — <phys.> unified field theory
теория поля обобщенная — <phys.> unified field theory
теория принятия решений — <math.> decision analysis
теория релейных схем — switching-circuit theory
теория статистических оценок — theory of estimation
теория твердых тел — theory of solids
теория циклогенеза заслоночная — <meteor.> barrier theory of cyclogenesis
-
4 теория
ж. theoryтеория адсорбции Брунауэра—Эмметта—Теллера — BET theory of adsorption
теория Бардина—Купера—Шриффера — Bardeen-Cooper-Schrieffer theory
теория Друде—Лоренца — Drude-Lorentz theory
-
5 булевая алгебра
булева алгебра, алгебра логики — Boolean algebra
См. также в других словарях:
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
МНОЖЕСТВ ТЕОРИЯ — Под множеством понимается совокупность каких либо объектов, называемых элементами множества. Теория множеств занимается изучением свойств как произвольных множеств, так и множеств специального вида независимо от природы образующих их элементов.… … Энциклопедия Кольера
МНОЖЕСТВ ТЕОРИЯ — наивная учение о свойствах множеств, преимущественно бесконечных, элиминирующее свойства элементов, составляющих эти множества. . Понятие множества принадлежит к числу первоначальных математич. понятий и может быть пояснено только при помощи… … Математическая энциклопедия
ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… … Математическая энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
алгебра буля — исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры некоторые… … Словарь терминов логики
ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… … Современный философский словарь
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… … Математическая энциклопедия
Analysis Mathematica — Связать? Не путать с Analysis Mathematica hungarica Analysis Mathematica (сокращенное название Analysis Math., ANAM) ежеквартальный российский и венгерский математический научный журнал. Совместный проект Российской Академии Наук и… … Википедия
Тарский — (Tarski) Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живёт в США). Полученные Т. результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины и др. разделам математической… … Большая советская энциклопедия